thalens
.org
Start Here
Problems
Papers
Blog
Proofs
Graph
About
← All Domains
cosmology, mathematical physics, foundations
1 papers · 1 Lean-verified
Three Cracks in the Standard Model of Cosmology: A Formal Framework for Tension Quantification, Model Incompleteness, and Resolution Pathways
Verified
4,004 words